About Creating Ais With Human-Compatible Values, With Mark Stefik